Correct Execution of Reconfiguration for Stateful Components
نویسندگان
چکیده
In component-based software engineering, reconfiguration describes structural changes to the architecture of a component system. For stateful components, not only structural but also behavioural aspects have to be taken into account in reconfiguration. We present a procedure to conduct reconfiguration in systems of concurrent, stateful components that interferes as little as possible with unchanged subsystems. Reconfiguration is described by a plan for adding, deleting and reconnecting components. A plan is executed by a sequence of simple, local steps, which are suitable for implementation in a programming language. We prove that plan execution is indistinguishable from atomic reconfiguration and use this fact for state-space reduction for verifying properties by model checking.
منابع مشابه
Message-Passing Concurrency for Scalable, Stateful, Reconfigurable Middleware
Message-passing concurrency (MPC) is increasingly being used to build systems software that scales well on multi-core hardware. Functional programming implementations of MPC, such as Erlang, have also leveraged their stateless nature to build middleware that is not just scalable, but also dynamically reconfigurable. However, many middleware platforms lend themselves more naturally to a stateful...
متن کاملHow to touch a running system: reconfiguration of stateful components
The increasing importance of distributed and decentralized software architectures entails more and more attention for adaptive software. Obtaining adaptiveness, however, is a difficult task as the software design needs to foresee and cope with a variety of situations. Using reconfiguration of components facilitates this task, as the adaptivity is conducted on an architecture level instead of di...
متن کاملRole of Electric Vehicles Parking Lots and Storage Systems on the Penetration Rate of Distributed Generation and Network Reconfiguration
Introduction of new technologies such as energy storage systems, electric vehicles, and distributed generation improved the characteristics of networks. On other hand, using these components in distribution systems improves system performances such as power losses. One of effective methods for improving system characteristics is distribution network reconfiguration. In this study, in addition t...
متن کاملReusable Web Services
Designing systems of asynchronous web services is challenging. Addressing the design in terms of component reuse helps address important questions that need to be answered if dynamic configuration of business solutions from web services is to be achieved. The fact that the components are web services doesn’t mean that all the problems of reuse have been solved. An architecture for dealing with ...
متن کاملInfluence Control for Dynamic Reconfiguration of Data Flow Systems
Influence control is a very challenging issue in dynamic reconfiguration and still not well addressed in the literature. This paper argues that dynamic reconfiguration influences system execution in four ways: functional update, functional side-effect, logical influence on performance and physical influence on performance. Methods including version control, transaction tracing, switching reconf...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 260 شماره
صفحات -
تاریخ انتشار 2010